secret{-}table($T$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$K$:$\mathbb{N}\times\mathbb{N}\times$($\mathbb{N}$$_{\mbox{\scriptsize $<$$K$}}$$\rightarrow$Atom1$\times$($\mathbb{N}$+Atom1)$\times$data($T$))